Lavazza, L. Combining UML and formal notations for modelling real-time systems. Software engineering notes..
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Lavazza, Luigi. "Combining UML and Formal Notations for Modelling Real-time Systems." Software Engineering Notes. .
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Lavazza, Luigi. "Combining UML and Formal Notations for Modelling Real-time Systems." Software Engineering Notes., .
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.