Formal property verification in a conformance testing framework (2014)

by H Abbas, H Mittelmann, G Fainekos
Venue:In MEMOCODE. IEEE