World-class product certification using Erlang. - Ulf T. Wiger; Gösta Ask; Kent Boortz (ACM SIGPLAN Notices, 2002)