selected publications chapter Incremental Modeling Methodology of Railway System Specifications. . 2016