OpenDS: A new open-source driving simulator for research
Experiences with text mining large collections of unstructured systems development artifacts at JPL
Implementation of automotive CAN module requirements
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
SysML: A language for space system engineering
Software specification and development in the domain of railway signalling
Utilizing Event-B for domain engineering: a critical analysis