Yes, and I am considering moving more in that direction. I've actually quite enjoyed specifying and implementing safety-critical PLC software in my new career. But I'd really like to invest more time in formal specification and verification, particularly in embedded software!