Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets. - Daniel Lamch (PARELEC, 2002)

Specification, Analysis and Testing of Grid Environments Using Abstract State Machines. - Daniel Lamch; Roman Wyrzykowski (PARELEC, 2006)

An Approach for Specification and Testing of Stateful Grid Services. - Daniel Lamch; Roman Wyrzykowski (PARELEC, 2011)