Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study. - Geri Georg; Jores Bieman; Robert B. France (pUML, 2001)