TY - SER TI - Real-Time Systems [electronic resource] SN - 1573-1383 PB - Springer US UR - http://link.springer.com/journal/11241 ER -