Formal Methods for Eternal Networked Software Systems - Bernardo, Marco (Springer Berlin Heidelberg, 2011)