L. Philipps. Die dunkle Seite des Chips: Herrschaft und Beherrschbarkeit neuer
Technologien, volume 6 of Sicherheit in der Informationstechnik, page 11--15. München, Wien, R. Oldenbourg Verlag, (1993)
A. Pretschner, and J. Philipps. Model-Based Testing of Reactive Systems, volume 3472 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2005)