Reasoning with Behavioural Knowledge in Application Domain Models (1997)

by Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo