Matthew Easley Elizabeth Bradley Reasoning about Input-Output Modeling of Dynamical Systems. 343-356 1999 conf/ida/1999 IDA http://link.springer.de/link/service/series/0558/bibs/1642/16420343.htm db/conf/ida/ida99.html#EasleyB99