![From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL | SpringerLink From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL | SpringerLink](https://media.springernature.com/original/springer-static/image/chp%3A10.1007%2F978-3-319-63121-9_13/MediaObjects/454529_1_En_13_Fig1_HTML.gif)
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL | SpringerLink
![Basic behavioral models for software product lines: Expressiveness and testing pre-orders - ScienceDirect Basic behavioral models for software product lines: Expressiveness and testing pre-orders - ScienceDirect](https://ars.els-cdn.com/content/image/1-s2.0-S0167642315001288-gr002.gif)
Basic behavioral models for software product lines: Expressiveness and testing pre-orders - ScienceDirect
![PDF] Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation | Semantic Scholar PDF] Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/9e13b1fe6d1f0de5212f6062ef17c958d43c4fc9/11-Figure3-1.png)
PDF] Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation | Semantic Scholar
GitHub - marvk/Labelled-Transition-System: Parse a simple custom description language for labeled transition systems, create composites (synchronize on identical transition symbols), and graph them.
![An outline of the use of transition systems to formalize JADE agents and multi-agent systems - IOS Press An outline of the use of transition systems to formalize JADE agents and multi-agent systems - IOS Press](https://content.iospress.com/media/ia/2015/9-2/ia-9-2-ia085/ia-9-ia085-g001.jpg?width=755)
An outline of the use of transition systems to formalize JADE agents and multi-agent systems - IOS Press
![Who is obliged when many are involved? Labelled transition system modelling of how obligation arises | SpringerLink Who is obliged when many are involved? Labelled transition system modelling of how obligation arises | SpringerLink](https://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10506-020-09279-9/MediaObjects/10506_2020_9279_Fig4_HTML.png)
Who is obliged when many are involved? Labelled transition system modelling of how obligation arises | SpringerLink
![Simplified labelled transition systems modelling the resources in our... | Download Scientific Diagram Simplified labelled transition systems modelling the resources in our... | Download Scientific Diagram](https://www.researchgate.net/publication/316098524/figure/fig1/AS:613934763606058@1523384862865/Simplified-labelled-transition-systems-modelling-the-resources-in-our-assembly-platform.png)