DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets | IEEE Conference Publication | IEEE Xplore