@inproceedings{becb9a9c025c434ebd8b301cdbdd5c88,
title = "Refinement-Based Development of Timed Systems",
author = "J Berthing and Pontus Bostr{\"o}m and Kaisa Sere and Leonidas Tsiopoulos and J Vain",
year = "2012",
doi = "10.1007/978-3-642-30729-4_6",
language = "Odefinierat/ok{\"a}nt",
isbn = "978-3-642-30728-7",
pages = "69–83",
editor = "J Derrick and S Gnesi and D Latella and H Treharne",
booktitle = "Integrated Formal Methods",
publisher = "Springer",
note = "International Conference on Integrated Formal Methods ; Conference date: 01-01-2018",
}