I/sup 3/: a Petri-net based specification method for architectural components | IEEE Conference Publication | IEEE Xplore