Virtual execution of AADL models via a translation into synchronous programs