Yes, of course statemate is used in real-time system design. A lot of companies use it to generate the code on specific targets. Perhaps its not used for the majority of the projects nowadays but there is an intention to use it more widely in the future.