I'm one of the founder of PikeTec and developer of the model based testing tool called TPT. I have experience in control software development and testing of all kind of automotive control software.