Abstract: Highlights•A new version of the skillset description language is presented, and the execution semantics of skillsets is detailed.•The verification of skillset models is a new contribution.•The complete development process is presented in a unified manner.
Loading