Toward Extending AADL-OSATE Toolset with Color Petri Nets (CPNs) | IEEE Conference Publication | IEEE Xplore