@inproceedings{CBS08,
title = {Translating AADL into BIP - Application to the Verification of Real-time Systems },
author = {Chkouri, Mohamed Yassin and Bozga, Marius and Sifakis, Joseph},
month = {October},
year = {2008},
booktitle = {Workshops and Symposia at MODELS 2008},
address = {Toulouse, France},
pages = {5-19},
team = {DCS, RSD},
}
