![ACM Digital Library on Twitter: "CALL FOR PAPERS: ACM Transactions on Embedded Computing Systems (TECS) Special Issue on Specification and Design Languages. The submission deadline is Jan. 15, 2022. For the full ACM Digital Library on Twitter: "CALL FOR PAPERS: ACM Transactions on Embedded Computing Systems (TECS) Special Issue on Specification and Design Languages. The submission deadline is Jan. 15, 2022. For the full](https://pbs.twimg.com/media/FBBavG5UYAYXaWW.jpg)
ACM Digital Library on Twitter: "CALL FOR PAPERS: ACM Transactions on Embedded Computing Systems (TECS) Special Issue on Specification and Design Languages. The submission deadline is Jan. 15, 2022. For the full
![ACM Transactions on Embedded Computing Systems (TECS) Template - Association for Computing Machinery ACM Transactions on Embedded Computing Systems (TECS) Template - Association for Computing Machinery](https://d13i5xhouzkrd.cloudfront.net/153121957282/previews/article-4.png)
ACM Transactions on Embedded Computing Systems (TECS) Template - Association for Computing Machinery
![ACM Transactions on Embedded Computing Systems (TECS) Template - Association for Computing Machinery ACM Transactions on Embedded Computing Systems (TECS) Template - Association for Computing Machinery](https://d13i5xhouzkrd.cloudfront.net/153121957282/previews/article-8.png)
ACM Transactions on Embedded Computing Systems (TECS) Template - Association for Computing Machinery
![Designing Trusted Embedded Systems from Finite State Machines | ACM Transactions on Embedded Computing Systems Designing Trusted Embedded Systems from Finite State Machines | ACM Transactions on Embedded Computing Systems](https://dl.acm.org/cms/asset/44087159-1e1a-482a-bb54-2ed4099eb71e/2660459.cover.jpg)