Extensions to Broaden the Scope of Supported Models
Case study: A Teleoperated Robot is a device such as a robotic vehicle, surgical arm, unmanned aerial vehicle (UAV), etc. that is remotely controlled by a human. This case study was based on an actual robot that is still in operation.
TeleoperatedRobot (spmif+ specification)
(the corresponding pmif+ specification is at http://mifs.uib.cat/pmifplus/)