Structural decomposition of timed CPS and its application in real time testing. - Oliver Meyer 003 (2002)