A Formal Capability and Skill Model for Use in Plug and Produce Scenarios | IEEE Conference Publication | IEEE Xplore