Nguyen, Trinh Dong and Truong, Anh Hoang  (2017) A formal contract-based model for component-based real-time systems.  In: 2017 4th NAFOSTED Conference on Information and Computer Science (NICS 2017), 24-25 November 2017, Hanoi, Vietnam.