_id,doi,title 3155,10.1007/978-3-642-30793-5_13,Synchronous interface theories and time triggered scheduling