On the duality between observability and reachability (2001)

by M Bidoit, R Hennicker, A Kurz
Venue:In Furio Honsell and Marino Miculan, editors, FoSSaCS, volume 2030 of Lect. Notes in Comp. Sci