"The Erlang Verification Tool."

Thomas Noll, Lars-Åke Fredlund, Dilian Gurov (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics