Documents Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains

A reactive, embedded system: The ‘Hubble Space Telescope’ A reactive, embedded system: The ‘Hubble Space Telescope’ Dr.-Ing Holger Hermanns, Universiteit Twente A…