Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft. Schedulability Analysis Abstractions for Safety Critical Java. In Chunming Hu, Gabor Karsai, Jie Xu, Andreas Polze, Ji Wang, Andy J. Wellings, editors, 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012. pages 71-78, IEEE, 2012. [doi]
Abstract is missing.