"Formal Methods at the Crossroads, 10 conf., UNU-IIST 2002" - читать интересную книгу автора (Bernhard K. Aichernig, Tom Maibaum)