# Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata

> Research article (2017 IEEE International Conference on Computer Design (ICCD), 2017) · cited 14× · AI/ML

**Wikidata**: [openalex:W2769889944](https://www.wikidata.org/wiki/openalex:W2769889944)  
**Source**: https://4ort.xyz/entity/automatic-protocol-compliance-checking-of-systemc-tlm-2-0-simulation-behavior-using-timed-automata