Verifiable architectural interface for supporting model-driven development with adequate abstraction level | IEEE Conference Publication | IEEE Xplore