Incremental Realization of Safety Requirements: Non-determinism vs. Modularity.

Ali Ebnenasir
Published in: FSEN (2015)