Gera Weiss Sebastian Fischmeister Madhukar Anand Rajeev Alur Specification and Analysis of Network Resource Requirements of Control Systems. 381-395 2009 HSCC http://dx.doi.org/10.1007/978-3-642-00602-9_27 conf/hybrid/2009 db/conf/hybrid/hscc2009.html#WeissFAA09