Kyungmin Bae Peter Csaba Ölveczky José Meseguer 0001 Definition, Semantics, and Analysis of Multirate Synchronous AADL. 94-109 2014 FM https://doi.org/10.1007/978-3-319-06410-9_7 conf/fm/2014 db/conf/fm/fm2014.html#BaeOM14