Cao Đức Sáng; Lê Trần Thắng; Ngô Văn Hiền; Ngô Văn Hệ; Nguyễn Trọng Khuyên. A Hybrid Automata and SysML-Based Model for Controllers of Autonomous Surface Vehicles. JMST 2024, 175-181.