Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard
(IEEE Computer Society, 2010)
Rich and multifaceted domain specific specification
languages like the Autonomic System Specification Language
(ASSL) help to design reliable systems with self-healing capabilities.
The GEAR game-based Model Checker has ...