A Distributed Requirements Management Framework for Legal Compliance and Accountability
Alloy: a lightweight object modelling notation