Henzinger, Thomas A., et al. “Some Lessons from the HYTECH Experience.”10.1109/.2001.980714__Proceedings of the 40th IEEE Conference on Decision and Control, vol. 3, IEEE, 2001, pp. 2887–92, doi:10.1109/.2001.980714.