Hugues Chabot Raphael Khoury Nadia Tawbi Generating In-Line Monitors for Rabin Automata. 287-301 2009 NordSec http://dx.doi.org/10.1007/978-3-642-04766-4_20 conf/nordsec/2009 db/conf/nordsec/nordsec2009.html#ChabotKT09