Leram - Systematische Analyse und Entwurf von Regelungseinrichtungen auf Basis von Lyapunov's direkter Methode