Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard
(NASA, 2009)
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 ...