A Static Semantic Analyzer for LOTOS Specifications