Incremental Modelling For Verified Communication Architectures