Sonja Glavaski Antonis Papachristodoulou Kartik Ariyur Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. 306-321 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3414&spage=306 2005 conf/hybrid/2005 HSCC db/conf/hybrid/hscc2005.html#GlavaskiPA05