Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers - Cofer, Darren; Fantechi, Alessandro (Springer Berlin Heidelberg : Imprint: Springer, 2009)