Alfredo Garro, Andrea Tundis. Modeling of system properties: Research challenges and promising solutions. In IEEE International Symposium on Systems Engineering, ISSE 2015, Rome, Italy, September 28-30, 2015. pages 324-331, IEEE, 2015. [doi]
Abstract is missing.