@article{DBLP:journals/tjs/RezaG07,
author = {Hassan Reza and
Emanuel S. Grant},
title = {A method to test concurrent systems using architectural
specification},
journal = {The Journal of Supercomputing},
volume = {39},
number = {3},
year = {2007},
pages = {347-357},
ee = {http://dx.doi.org/10.1007/s11227-006-0017-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}