In this article I want to share with you how I created a working model in TLA+ step by step – including all the pitfalls and errors one can run into.
Articles

Creativity and Engineering
Painter, Musician, Architect, Designer – these are professions that generally are considered creative. On the other hand, most people consider engineers to be methodical, neutral, concentrated – but not creative. This perception is quite wrong. Engineering is one of the most creative professions, and this article shows you why.
Energy and Information
We often think of energy and information as two different things. We have an energy provider and a different information provider for our homes. But energy and information go hand in hand. There is no information without energy, and energy also comes with some information. Technical systems make use of this basic fact in many […]
The Holistic Engineer
Universities teach engineering and software development in separate study programs. In the work place, the differences between these professions are becoming increasingly fuzzy. As the complexity of products increases, it is not sufficient to focus on just one field any more. In this article, I show that today, knowledge in just one field is not […]
Internet and Railroad
The invention of the railroad has changed the world. For the first time, both people and goods could be transported fast, long-distance and in great numbers. Almost 200 years later, the Internet started a similar revolution. Today information travels the globe with lightning speed. The first revolution was powered by steel and steam. The second […]

An Interplanetary Transportation System
Many people dream of colonizing Mars and of using ressources in space to improve life on Earth. To make these dreams come true, we both need an industry in space and an interplanetary transportation system. This article gives an outlook how such an interplanetery transporation system could look like.