Translated Alloy Best Practices and Recommendations