Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, Fmics 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, Pdmc 2006, Bonn, Germany, August...