Combining Simulation and Formal Tools for Developing Self-Organizing MAS

@incollection{simulation-massimulationbook09,
   author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
   booktitle = {Multi-Agent Systems: Simulation and Applications},
   chapter = 5,
   doi = {10.1201/9781420070248-15},
   editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
   eisbn = {978-1-3152-1878-6},
   iris = {11585/82469},
   isbn = {978-1-4200-7023-1},
   isbn10 = {1-4200-7023-1},
   isbn13 = {978-1-4200-7023-1},
   month = jun,
   pages = {133--165},
   publisher = {CRC Press},
   scopus = {2-s2.0-85068357847},
   series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
   title = {Combining Simulation and Formal Tools for Developing Self-Organizing {MAS}},
   url = {http://crcpress.com/product/isbn/9781420070231},
   year = 2009
}