Dynamic monitoring approach for verification of control software of robot using synchronized Petri nets | IEEE Conference Publication | IEEE Xplore