Developing a Black Box Specification in Controlled English