GitHub repository: Kathamala/SysADLParkingSystem
Description: Architecture of a parking lot management system in SysADL