An abstraction technique for testing decomposable systems by model checking (2014)

by P Arcaini, A Gargantini, E Riccobene
Venue:Tests and Proofs, volume 8570 of Lecture Notes in Computer Science