Past, present and future of state and transition language