An Event-Driven-Net Model of a Multiprocessor System. - Jerzy Miescicki (PNPM, 1985)

System Modeling in the COSMA Environment. - Wiktor B. Daszczuk; Waldemar Grabski; Jerzy Miescicki; Jacek Wytrebowicz (DSD, 2001)

Verification of UML State Diagrams Using Concurrent State Machines. - Jerzy Miescicki (SET, 2006)

The use of model checking and the COSMA environment in the design of reactive systems. - Jerzy Miescicki (Ann. UMCS Informatica, 2006)

Behavioral an real-time verification of a pipeline in the COSMA environment. - Jerzy Miescicki; Wiktor B. Daszczuk (Ann. UMCS Informatica, 2006)

Concurrent Software Design Based on Constraints on State Diagrams. - Bogdan D. Czejdo; Wiktor B. Daszczuk; Jerzy Miescicki (CoRR, 2017)

Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions. - Wiktor B. Daszczuk; Jerzy Miescicki (CoRR, 2017)

System level specification and verification using Concurrent State Machines and COSMA environment. - Wiktor B. Daszczuk; Jerzy Miescicki; Michal Nowacki; Jacek Wytrebowicz (CoRR, 2017)

Verification of Concurrent Engineering Software Using CSM Models. - Jerzy Miescicki; Mikolaj Baszun; Wiktor B. Daszczuk; Bogdan D. Czejdo (CoRR, 2017)

Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing. - Jerzy Miescicki; Bogdan D. Czejdo; Wiktor B. Daszczuk (CoRR, 2017)

Practical Approach to Distributed Systems' Design. - Jerzy Miescicki; Wiktor B. Daszczuk; Waldemar Grabski; Artur Krystosik (CoRR, 2017)

Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network. - Wiktor B. Daszczuk; Jerzy Miescicki; Waldemar Grabski (CoRR, 2017)

JADE - A Platform for Research on Cooperation of Physical and Virtual Agents. - Wiktor B. Daszczuk; Jerzy Miescicki (CoRR, 2017)