Interactive systems. design, specification, and verification : 13th International workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006: revised papers / ed. G. Doherty, 2007 r=on-line. - Текст : электронный.