@misc {IOPORT.70218258,
    author       = {Ammar, Hany H. and Nikzadeh, T. and Dugan, Joanne Bechta},
    title        = {A methodology for risk assessment of functional specification of software systems using colored Petri nets},
    howpublished = {IEEE METRICS, 108- (1997).},
    year         = {1997},
    identifier   = {70218258},
}