The ASM ground model method as a foundation of requirements engineering (2003)

by Egon Börger
Venue:Verification: Theory and Practice, volume 2772 of LNCS