Luigi Palopoli Luca Abeni Giuseppe Lipari On the Application of Hybrid Control to CPU Reservations. 389-404 2003 conf/hybrid/2003 HSCC http://link.springer.de/link/service/series/0558/bibs/2623/26230389.htm db/conf/hybrid/hscc2003.html#PalopoliAL03