@inproceedings{Die2009, Author = {Dierks, H., Metzner, A., Stierand, I.}, Title = {Efficient Model-Checking for Real-Time Task Networks}, Year = {2009}, Month = {05}, type = {inproceedings} } @COMMENT{Bibtex file generated on }