Any such state model is not the actual thing it models (which is almost always stateless continuous time) therefore extremely annoying to work with. Also a sour

Any such state model is not the actual thing it models (which is almost always stateless continuous time) therefore extremely annoying to work with. Also a source of bugs and concurrency issues.