Keynote talk III: A framework for modeling architectures and their properties | IEEE Conference Publication | IEEE Xplore