Ian Gray, Neil C. Audsley. Developing Predictable Real-Time Embedded Systems Using AnvilJ. In Marco Di Natale, editor, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012. pages 219-228, IEEE, 2012. [doi]
Abstract is missing.