@Inproceedings{kroiss2014fmsas,
   status = {public},
   task = {T1.1, T5.1, T5.2},
   booktitle = {Second International Workshop on Formal Methods for Self-Adaptive Systems (FMSAS 2014)},
   year = {2014},
   invited = {no},
   main = {no},
   url = {http://www.pst.ifi.lmu.de/~kroiss/kroiss_bures_fmsas2014_camera-ready.pdf},
   title = {{Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems}},
   author = {Christian Kroiß and Tom\'{a}\v{s} Bure\v{s}},
   period = {year4},
   partner = {LMU, CUNI},
   wp = {WP1, WP5}
}