Emil Vassev Mike Hinchey Aaron J. Quigley Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. 251-256 2009 ICSOFT (1) conf/icsoft/2009-1 db/conf/icsoft/icsoft2009-1.html#VassevHQ09a