Model-based runtime analysis of distributed reactive systems - Bauer, Andreas Klaus (2007)
München, Techn. Univ., Diss., 2007