Maximilian Frey Michael Oberhuber Markus Podolsky Framework for Testing based Development of Parallel and Distributed Programs. 246-253 1998 PDSE http://dlib.computer.org/conferen/pdse/8467/pdf/84670246.pdf db/conf/pdse/pdse1998.html#FreyOP98