Qiang Guo, John Derrick. Verification of timed Erlang/OTP components using the process algebra mucrl. In Simon J. Thompson, Lars-Åke Fredlund, editors, Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007. pages 55-64, ACM, 2007. [doi]
Abstract is missing.