Title: A state space generation tool for LOTOS applications