XASM - Extensible Component-Based Abstract State Machines Language (2000)