%A Trinh Dong Nguyen
%A Anh Hoang Truong
%T A formal contract-based model for component-based real-time systems
%C Hanoi, Vietnam
%D 2017
%L SisLab2714