Cyrille Artho Boris Zweimüller Armin Biere Etsuya Shibayama Shinichi Honiden Efficient Model Checking of Applications with Input/Output. 515-522 2007 conf/eurocast/2007 EUROCAST http://dx.doi.org/10.1007/978-3-540-75867-9_65 db/conf/eurocast/eurocast2007.html#ArthoZBSH07