Complex Pacemaker Troubleshooting: A Syntactic plus Semantic Approach