Toward a Formal Multiscale Architectural Framework for Emerging Properties Analysis in Systems of Systems | IEEE Conference Publication | IEEE Xplore