Real-time scheduling for software prototyping. - Luqi; M. Shing; J. Brockett (RSP, 1993)