Formal methods Applications and technology [electronic resource] - Brim, Lubo; Haverkort, Boudewijn; Leucker, Martin (Berlin Heidelberg, 2007)
http://dx.doi.org/10.1007/978-3-540-70952-7