Development of timed RT-grammars for analysis of business process at manufacturing and in cyber-physical systems | IEEE Conference Publication | IEEE Xplore