Henning Dierks, Alexander Metzner, Ingo Stierand: Efficient Model-Checking for Real-Time Task Networks. ICESS 2009: 11-18