Efficient model-checking for real-time task networks - Henning Dierks; Alexander Metzner; Ingo Stierand (International Conference on Embedded Software and Systems 2009, 2009)