A methodology for risk assessment of functional specification of software systems using colored Petri nets | IEEE Conference Publication | IEEE Xplore