A Modular Method for Global System Behaviour Specification.

Urooj Fatima, Rolv Brk

Browse the full MODELSWARD paper archive.