Location: Paphos, Cyprus.
Website: http://www.liacs.nl/~marcello/FMOODS/index.htm
Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian, “A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems”, LNCS 4468 pages 285-300