Describir: A Systematized Approach to Obtain Dependable Controller Specifications for Hybrid Plants