@misc {IOPORT.70990846,
    author       = {Grant, Emanuel S. and Reza, Hassan},
    title        = {Towards model driven testing for mission critical software systems},
    howpublished = {Software Engineering Research and Practice, 221-224 (2008).},
    year         = {2008},
    identifier   = {70990846},
}