Verlag Universitätsverlag PotsdamBasil Becker × Cyber-physical systems with dynamic structuretowards modeling and verification of inductive invariantsBasil BeckerUniversitätsverlag PotsdamSoftcover2013 Correct dynamic service-oriented architecturesmodeling and compositional verification with dynamic collaborationsBasil BeckerUniversitätsverlag PotsdamBuch2009