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

Alvis models of safety critical systems state-base verification with nuXmv. - Jerzy Biernacki (FedCSIS, 2016)

Communication between agents in Alvis language. - Piotr Matyasik; Marcin Szpyrka; Michal Wypych; Jerzy Biernacki (MIXDES, 2016)

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)

Discrete-Time Systems Modeling and Verification With Alvis Language and Tools. - Marcin Szpyrka; Michal Wypych; Jerzy Biernacki; Lukasz Podolski (IEEE Access, 2018)