publication venue for
- Software Systems Engineering programmes a capability approach. 125:354-364. 2017
- Evolving models in Model-Driven Engineering: State-of-the-art and future challenges. 111:272-280. 2016
- Collaborative computing technologies and systems. 86:1725-1726. 2013
- “Formal methods” technology transfer will fail. 40:195-198. 1998
- Synchronizing events in replicated systems. 9:183-190. 1989
- Active design reviews: Principles and practices. 7:259-265. 1987