Automation support for concurrent software engineering