Developing Predictable Real-Time Embedded Systems Using AnvilJ.

Published in: IEEE Real-Time and Embedded Technology and Applications Symposium (2012)