Tools for the LOTOS process calculus