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

bran selic