The first step obviously starts with your idea for an application. We really take the time to discuss your idea, so that we have a precise and mutual understanding of what it is you need. Based on all findings, we subsequently create a precise model of your application. Because that model is formally expressed in our system, it has the additional advantage of being executable and testable. And very important, it gives us a golden reference to check later design steps. Upon request, we can also generate an executable for your own computer system so that you can experiment with it, in your own time and on your own computer. We can even create visualizations of the hardware, we have yet to develop.