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