https://5dok.net/document/eqo2kmky-foreword-proceedings-international-workshop-specification-verification-component-systems.html