"Formal Methods for Eternal Networked Software Systems - SFM 2011 " - читать интересную книгу автора (Marco Bernardo, Valerie Issarny)