To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?