Test-design through abstraction: A systematic approach based on the refinement calculus
scientific article; zbMATH DE number 1668947