| Titel | ISBN-13 (ISBN-10)  | Erscheinungsjahr | 
|---|---|---|
| Design and Verification of Behaviour-Based Systems Realising Task Sequences | 978-3-8439-2261-6 (3-8439-2261-6)  | 2015 | 
C.A. · Christen Armbrust · Christian Armborst · Christian Armbrecht · Christian Armbrüster · Christian Armbrust · Christian Armbruster · Christina Armpilia · Christoph Armbruster