Skon.: “Connectivity testing through model checking (2004)

by Jens Chr Godskesen, Nielsen Brian, Arne