Geoff Mullery
Systemic Methods Ltd
Distributed systems: methods and tools for specification. An advanced course
Overlaps in Requirements Engineering
Automated Software Engineering