Synthesis using extended resource control nets for modeling shared-resource automated systems | IEEE Conference Publication | IEEE Xplore