website: http://www.brics.dk/automaton/
link to the license from the wewsite above: http://www.opensource.org/licenses/bsd-license.php
