Translated Alloy_Controllers.md