Analyzing Network Management Effects with SPIN and cTLA. - Gerrit Rothmaier; Andre Pohl; Heiko Krumm (SEC, 2004)

Policy Controlled Automated Management of Distributed and Embedded Service Systems. - Stefan Illner; Heiko Krumm; Andre Pohl; Ingo Lück; Darius Manka; Thomas Sparenberg (Parallel and Distributed Computing and Networks, 2005)

Model-based Management of Embedded Service Systems - An Applied Approach. - Stefan Illner; Heiko Krumm; Ingo Lück; Andre Pohl; Andreas Bobek; Hendrik Bohn; Frank Golatowski (AINA (2), 2006)

Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems. - Andre Pohl; Heiko Krumm; Felix Holland; Franz-Josef Stewing; Ingo Lück (AINA Workshops, 2008)