Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla. Formal Verification as a Design Tool - The Transponder Lock Example. In Erwin Schoitsch, editor, 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996. pages 73-82, Springer, 1996. [doi]
Abstract is missing.