Verification of Timed Erlang Programs Using McErlang | Publicación