@inproceedings{BBB+6,
title = {RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems },
author = {Ben-Rayana, Souha and Bozga, Marius and Bensalem, Saddek and Combaz, Jacques},
year = {2016},
booktitle = {Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9636},
address = {New York, NY, USA},
pages = {394--406},
publisher = {Springer-Verlag New York, Inc.},
team = {RSD, axe_Mohytos},
}
