Synthesis, Verification, and Analysis of Rich Models (SVARM)
SVARM 2011
at ETAPS 2011
SVARM 2010
at FLoC 2010