Modeling of BPEL Composite Services Using Clustered Coloured Petri-Nets. - Anshuman Mukherjee; Zahir Tari; Peter Bertók (SERVICES II, 2009)

Memory efficient state-space analysis in software model-checking. - Anshuman Mukherjee; Zahir Tari; Peter Bertók (ACSC, 2010)

A Spring Based Framework for Verification of Service Composition. - Anshuman Mukherjee; Zahir Tari; Peter Bertók (IEEE SCC, 2011)