Oliver Meyer. Structural decomposition of timed CPS and its application in real time testing. PhD thesis, University of Bremen, 2002.
@phdthesis{de-5688, title = {Structural decomposition of timed CPS and its application in real time testing}, author = {Oliver Meyer}, year = {2002}, note = {http://d-nb.info/971670889}, researchr = {https://researchr.org/publication/de-5688}, cites = {0}, citedby = {0}, school = {University of Bremen}, }