aPET: a test case generation tool for concurrent objects | Publicación