"Formal Methods for the Design of Real-Time Systems, SFM-RT 2004" - читать интересную книгу автора (Marco Bernardo, Flavio Corradini)