Graph-based STA for asynchronous controllers. - Stavros Simoglou; Nikolaos Xiromeritis; Christos P. Sotiriou; Nikolaos Sketopoulos (Integr., 2020)