modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physical