SysML for Systems Engineering

A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies

Information and Software Technology

Rough ethology: towards a biologically-inspired study of collective behavior in intelligent systems with approximation spaces

Transactions on Rough Sets III

Efficient probabilistic abstraction for SysML activity diagrams

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods

A property-based abstraction framework for SysML activity diagrams

Knowledge-Based Systems