Le, Thi Thieu Hoa and Fahrenberg, Uli and Legay, Axel and Passerone, Roberto (2012) An Operational Contract Framework for Heterogeneous Systems. Trento : University of Trento. (Unpublished)