| MappingModel MappingModel1 { | |
| import trafficlight.example.* from "trafficlight.example.room" | |
| import PhysicalModel1.* from "trafficlight.example.etphys" | |
| Mapping LSTraffic -> PhysSys1 { | |
| SubSystemMapping main -> nodeRef1 { | |
| ThreadMapping dflt_thread -> PhysicalThread1 | |
| } | |
| } | |
| } |