Anders P. RavnBooksAutomated Technology for Verification and AnalysisDesign of embedded real-time computing systemsProceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded SystemsAuthor data: Open Library