Seyed Hosein Attarzadeh Niaki, Ingo Sander. Semi-formal refinement of heterogeneous embedded systems by foreign model integration. In 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011. pages 1-8, IEEE, 2011. [doi]
Abstract is missing.