%0 Conference Proceedings
%F Ma:2010
%A Ma, Yue
%A Talpin, Jean-Pierre
%A Gautier, Thierry
%T Interpretation of AADL Behavior Annex into Synchronous Formalism using SSA
%B Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology
%P 2361-2366
%I IEEE Computer Society
%D 2010