Embedded real-time systems - Calvez, Jean Paul (John Wiley & Sons, 1993)