Formal Specification of On-Chip Communications State Of The Art. - Amina Zerdani; Fateh Boutekkouk; Lakhdar Derdouri (ICIST, 2020)