Verification of embedded system's specification using collaborative simulation of SysML and simulink modelsRyo KawaharaHiroaki Nakamuraet al.2009MBSE 2009