Plant_PW plant_model_PW {
    Boundary plant_powerwindow_dsl{
        name = "plant_powerwindow_dsl"
        Port driverWindowCommands {
            name = "driverWindowCommands"
        }
        Port lockCommands {
            name = "lockCommands"
        }
        Port detectObject {
            name = "detectObject"
        }
        Port controlPassengerWindowCommands {
            name = "controlPassengerWindowCommands"
        }
        Port passengerWindowCommands {
            name = "passengerWindowCommands"
        }

        Side driver {
            name = "driver"

            PushPull pushpull1 {
                name = "pushpull1"
            }
            PushPull pushpull2 {
                name = "pushpull2"
            }
            LockOut lockout {
                name = "lockout"
            }

        }

        Side passenger {
            name = "passenger"

            Rocker rocker {
                name = "rocker"
            }

            Infrared IRSensor {
                name = "IRSensor"
            }
        }
    }

    Controls (lockout, passenger) {}
    Controls (pushpull1, driver) {}
    Controls (pushpull2, passenger) {}
    Controls (rocker, passenger) {}

    ConnectSwitch (driverWindowCommands, pushpull1) {}
    ConnectSwitch (controlPassengerWindowCommands, pushpull2) {}
    ConnectSwitch (lockCommands, lockout) {}
    ConnectSwitch (passengerWindowCommands, rocker) {}
    ConnectSensor (detectObject, IRSensor) {}
}