@InProceedings{BeckertBeuster2004tum,
author = {Bernhard Beckert and Gerd Beuster},
title = {Formal Specification of Security-relevant Properties
of User Interfaces},
booktitle = {3rd International Workshop on
Critical Systems Development with UML},
address = {Munich, Germany},
note = {TU Munich Technical Report TUM-I0415},
year = {2004},
venue = {Lisbon, Portugal}
}