====== Headline ====== * Motivation * problem statement * related work * research objective * limitation of related approaches * approache presentation * assumptions * detailed: proofs, * Real world application * conclusion * summary contribution * future Question * adaptation is quite simple, what next transactional ... * instrumantal in programming languages, design methods to make use of the approach * correctness, * Note: * annoying skype disruptions