Charles Pecheur Franco Raimondi Symbolic Model Checking of Logics with Actions. 113-128 2006 conf/mochart/2006 MoChArt http://dx.doi.org/10.1007/978-3-540-74128-2_8 db/conf/mochart/mochart2006.html#PecheurR06