@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 }