Methods of Translation of Petri Nets to NuSMV Language. - Marcin Szpyrka; Agnieszka Biernacka; Jerzy Biernacki (CS&P, 2014)

Priority management in Alvis language. - Marcin Szpyrka; Agnieszka Biernacka; Jerzy Biernacki; Michal Wypych (MIXDES, 2016)

Hierarchical Communication Diagrams. - Marcin Szpyrka; Piotr Matyasik; Jerzy Biernacki; Agnieszka Biernacka; Michal Wypych; Leszek Kotulski (Comput. Informatics, 2016)