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