From formal specifications to ready-to-use software components: the concurrent object oriented Petri net approach | IEEE Conference Publication | IEEE Xplore