Implementing a Business Process Management System Using ADEPT: A Real-World Case Study