Formal Techniques for Networked and Distributed Systems - FORTE 2008 | lit.salon