Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers - Brim, Luboš; Haverkort, Boudewijn; Leucker, Martin; Pol, Jaco van de (Springer Berlin Heidelberg, 2007)