;; (define-type dim (record mass::int time::int length::int angle::int))

(define-block
  cruise_ctrl__VehiclesDynamics


  (
    cruise_ctrl__VehiclesDynamics__In1__Out1_1_1
    cruise_ctrl__VehiclesDynamics__In2__Out1_1_1
    cruise_ctrl__VehiclesDynamics__Out1__In1_1_1
  )

  (
    cruise_ctrl__VehiclesDynamics__DisturbanceForce__In1__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DisturbanceForce__Out1__In1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__In1__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__In2__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__Out1__In1_1_1
    cruise_ctrl__VehiclesDynamics__TotalForce__In1_1_1
    cruise_ctrl__VehiclesDynamics__TotalForce__In2_1_1
    cruise_ctrl__VehiclesDynamics__TotalForce__Out1_1_1
  )

  (
    (cruise_ctrl__VehiclesDynamics__DisturbanceForce cruise_ctrl__VehiclesDynamics__DisturbanceForce__In1__Out1_1_1 cruise_ctrl__VehiclesDynamics__DisturbanceForce__Out1__In1_1_1)
    (cruise_ctrl__VehiclesDynamics__DrivingForce cruise_ctrl__VehiclesDynamics__DrivingForce__In1__Out1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__In2__Out1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__Out1__In1_1_1)
  )

  (
    (- cruise_ctrl__VehiclesDynamics__In1__Out1_1_1 (mk-record 0 -1 1 0))
    (- cruise_ctrl__VehiclesDynamics__In2__Out1_1_1 (mk-record 0 0 0 0))
    (- cruise_ctrl__VehiclesDynamics__Out1__In1_1_1 (mk-record 1 -2 1 0))

    (- cruise_ctrl__VehiclesDynamics__TotalForce__Out1_1_1 cruise_ctrl__VehiclesDynamics__TotalForce__In1_1_1)
    (- cruise_ctrl__VehiclesDynamics__TotalForce__In1_1_1 cruise_ctrl__VehiclesDynamics__TotalForce__In2_1_1)
    
    (- cruise_ctrl__VehiclesDynamics__TotalForce__In1_1_1 cruise_ctrl__VehiclesDynamics__DisturbanceForce__Out1__In1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__In1__Out1_1_1 cruise_ctrl__VehiclesDynamics__In2__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DisturbanceForce__In1__Out1_1_1 cruise_ctrl__VehiclesDynamics__In1__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__In2__Out1_1_1 cruise_ctrl__VehiclesDynamics__In1__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__Out1__In1_1_1 cruise_ctrl__VehiclesDynamics__TotalForce__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__TotalForce__In2_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__Out1__In1_1_1)
  )
)