An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports