2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) Formal Methods and Models for Codesign (MEMOCODE), 2015 ACM/IEEE International Conference on. :138-147 Sep, 2015
International Journal of Information System Modeling and Design International Journal of Information System Modeling and Design, 2017 International Journal of Information System Modeling and Design, IGI Global, 2017