Towards harnessing theories through tool support for hard real-time Java programming

Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen. Towards harnessing theories through tool support for hard real-time Java programming. ISSE, 9(1):17-28, 2013. [doi]

Bibliographies