Model-based Performance Analysis for Architecting Cyber-Physical Dynamic Spaces