Compositional Prediction of Timed Behaviour for Process Control Architecture.

Kenneth Chan Iman Poernomo Compositional Prediction of Timed Behaviour for Process Control Architecture. 86-100 2009 QoSA http://dx.doi.org/10.1007/978-3-642-02351-4_6 conf/qosa/2009 db/conf/qosa/qosa2009.html#ChanP09