Scenarios: models, transformations and tools / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007: revised selected papers / ed. S. Leue, 2008 r=on-line. - Текст : электронный.