An approach to support incremental software construction and verification in component-based system development - Nejati, Faranak (2019)