Earleand Fredlund. Verification of Timed Erlang Programs Using Mcerlang. Springer Berlin Heidelberg, 2012, doi:10.1007/978-3-642-30793-5_16.