Architecture-Based Development of Road Traffic Management Systems

Architecture-Driven Integration of Modeling Languages for the Design of Software-Intensive Systems

Virtueel boek: The Dynamics of Standards

Human Factors in System reliability: lessons learnt from the Maeslandt storm surge barrier in the Netherlands.

A Metamodelling Approach to Transform UML 2.0 Sequence Diagrams to Petri nets

Responsive Traffic Signals Designed with Petri Nets

Model-Driven User Requirements Specification using SysML

A Proposed Extension to the SysML Requirements Diagram

Internet Addressing Standards: a case study in standards' dynamics driven by bottom-up adoption.

A real-life test bed for multi-agent monitoring of network performance

Metodologias Ageis para Desenvolvimento de Software

Real Time Scheduling of Batch Systems, using Petri Nets and Lineal logic.

Regional Road Traffic Management in the Netherlands

Scenario Analysis of a Network of the Traffic Signals Designed with Petri nets.

A Multi-agent Distributed Architecture for Road Traffic Control

A Method for Designing and Analysis of Engineering Systems

Requirement Specification and Modelling through SysML

Road Trafic Signals Modelling and Analysis with petri nets and Linear Logic.

Multi-level Control of Networks, the Case of Road Traffic Control

an Integrated Method based on Multi-models and levels of Modeling for Designing and analysis of Complex Engineering Systems