Using properties in systems engineering.

Thomas Hadlich, Christian Diedrich

Browse the full ETFA paper archive.