An approach to validation of software architecture model | IEEE Conference Publication | IEEE Xplore