S.: Vyrdmc: Driving runtime refinement checking with model checkers (2006)

by T Elmas, Tasiran