N. Lohmann

• Operating guidelines for finite-state services