Radu Grosu Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. 194-208 2009 HSCC http://dx.doi.org/10.1007/978-3-642-00602-9_14 conf/hybrid/2009 db/conf/hybrid/hscc2009.html#Grosu09