Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models | IEEE Conference Publication | IEEE Xplore