Michel Bidoit Rolf Hennicker On the Integration of Observability and Reachability Concepts. 21-36 2002 conf/fossacs/2002 FoSSaCS http://link.springer.de/link/service/series/0558/bibs/2303/23030021.htm db/conf/fossacs/fossacs2002.html#BidoitH02