ACME and Darwin case study.
This case study shows how to semi-automatically obtain ACME specifications from
UML-based Darwin models. The use case source files and its user guide are hosted
here
in our SourceForge account. The case studies are available as AMW use case at: here.