Lavazza, L. Combining UML and formal notations for modelling real-time systems. Software engineering notes..
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Lavazza, Luigi. "Combining UML and Formal Notations for Modelling Real-time Systems." Software Engineering Notes. .
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Lavazza, Luigi. "Combining UML and Formal Notations for Modelling Real-time Systems." Software Engineering Notes., .
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.