Executable formal models of distributed transaction systems based on event processing

Specification and Analysis of System Architecture Using Rapide

IEEE Transactions on Software Engineering - Special issue on software architecture

Smart devices for manufacturing equipment

Robotica

A data-centric approach to composing embedded, real-time software components

Journal of Systems and Software - Special issue: Automated component-based software engineering

On the use of real-time maude for architecture description and verification: a case study

VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference

Hierarchical verification in maude of Lf P software architectures

ECSA'07 Proceedings of the First European conference on Software Architecture