Dale Allan Schouten
Univ. of Illinois, Urbana-Champaign
Synthesis of time-constrained multitasking embedded software
ACM Transactions on Design Automation of Electronic Systems (TODAES)