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

(define-block
  cruise_ctrl_error


  (
    cruise_ctrl_error__VehicleSpeed__In1_1_1
  )

  (
    cruise_ctrl_error__Controller__In1__Out1_1_1
    cruise_ctrl_error__Controller__In2__Out1_1_1
    cruise_ctrl_error__Controller__Out1__In1_1_1
    cruise_ctrl_error__VehiclesDynamics__In1__Out1_1_1
    cruise_ctrl_error__VehiclesDynamics__In2__Out1_1_1
    cruise_ctrl_error__VehiclesDynamics__Out1__In1_1_1
    cruise_ctrl_error__ComputeVelocity__In1_1_1
    cruise_ctrl_error__ComputeVelocity__Out1_1_1
    cruise_ctrl_error__Product__In1_1_1
    cruise_ctrl_error__Product__In2_1_1
    cruise_ctrl_error__Product__Out1_1_1
    cruise_ctrl_error__ReferenceSpeed__Out1_1_1
    cruise_ctrl_error__VehicleMass__Out1_1_1
  )

  (
    (cruise_ctrl_error__Controller cruise_ctrl_error__Controller__In1__Out1_1_1 cruise_ctrl_error__Controller__In2__Out1_1_1 cruise_ctrl_error__Controller__Out1__In1_1_1)
    (cruise_ctrl_error__VehiclesDynamics cruise_ctrl_error__VehiclesDynamics__In1__Out1_1_1 cruise_ctrl_error__VehiclesDynamics__In2__Out1_1_1 cruise_ctrl_error__VehiclesDynamics__Out1__In1_1_1)
  )

  (
    (- cruise_ctrl_error__ReferenceSpeed__Out1_1_1 (mk-record 0 -1 1 0))
    (- cruise_ctrl_error__VehicleMass__Out1_1_1 (mk-record 1 0 0 0))
    (- cruise_ctrl_error__VehicleSpeed__In1_1_1 (mk-record 0 -1 1 0))

    (- cruise_ctrl_error__ComputeVelocity__Out1_1_1 (increment cruise_ctrl_error__ComputeVelocity__In1_1_1 1 1))
    (- cruise_ctrl_error__Product__Out1_1_1  (+ cruise_ctrl_error__Product__In1_1_1 cruise_ctrl_error__Product__In2_1_1))
    
    (- cruise_ctrl_error__Controller__In1__Out1_1_1 cruise_ctrl_error__ReferenceSpeed__Out1_1_1)
    (- cruise_ctrl_error__Product__In2_1_1 cruise_ctrl_error__VehicleMass__Out1_1_1)
    (- cruise_ctrl_error__ComputeVelocity__In1_1_1 cruise_ctrl_error__Product__Out1_1_1)
    (- cruise_ctrl_error__VehiclesDynamics__In2__Out1_1_1 cruise_ctrl_error__Controller__Out1__In1_1_1)
    (- cruise_ctrl_error__VehiclesDynamics__In1__Out1_1_1 cruise_ctrl_error__ComputeVelocity__Out1_1_1)
    (- cruise_ctrl_error__VehicleSpeed__In1_1_1 cruise_ctrl_error__ComputeVelocity__Out1_1_1)
    (- cruise_ctrl_error__Controller__In2__Out1_1_1 cruise_ctrl_error__ComputeVelocity__Out1_1_1)
    (- cruise_ctrl_error__Product__In1_1_1 cruise_ctrl_error__VehiclesDynamics__Out1__In1_1_1)
  )
)