@inproceedings{57e9cf579c1f479e9e2522ebf897dc8b,
title = "Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems",
keywords = "ASM, Real-time systems, hierarchical abstraction",
author = "Achraf Mguidich and Paun, \{Vladimir Alexandru\} and Bruno Monsuez and Philippe Baufreton",
year = "2016",
month = jul,
day = "2",
doi = "10.1109/RTSS.2016.051",
language = "English",
series = "Proceedings - Real-Time Systems Symposium",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "372",
booktitle = "Proceedings - 2016 IEEE Real-Time Systems Symposium, RTSS 2016",
note = "2016 IEEE Real-Time Systems Symposium, RTSS 2016 ; Conference date: 29-11-2016 Through 02-12-2016",
}