# Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System

> Research article (2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016) · cited 18× · AI/ML

**Wikidata**: [openalex:W2295054870](https://www.wikidata.org/wiki/openalex:W2295054870)  
**Source**: https://4ort.xyz/entity/incremental-formal-methods-based-design-approach-demonstrated-on-a-coupled-tanks-control-system