Evaluation of static properties for component-based architectures | IEEE Conference Publication | IEEE Xplore