Jonah Z. Lavi, Joseph Kudish. Systematic Derivation of Operational Scenarios Using ECSAM. In 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK. pages 359-367, IEEE Computer Society, 2000. [doi]
Abstract is missing.