Henning Dierks Josef Tapken Modelling and Verifying of a `Cash-Point Service' Using MOBY/PLC. 220-221 2000 12 Formal Asp. Comput. 4 http://link.springer.de/link/service/journals/00165/bibs/0012004/00120220.htm db/journals/fac/fac12.html#DierksT00