@inproceedings{CRB+08,
title = {Translating AADL into BIP - Application to the Verification of Real-Time Systems },
author = {Chkouri, Mohamed Yassin and Robert, Anne and Bozga, Marius and Sifakis, Joseph},
year = {2008},
booktitle = {Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers},
pages = {5-19},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5421},
team = {DCS, RSD},
}
