Workshop Proceedings
Accepted papers will be included in the workshop proceedings available at the conference and published by the eWiC series of the British Computer Society.
The authors of the best papers will be invited to submit a revised and extended version of their paper after the workshop to a related special issue of the International Journal of Critical Computer-Based Systems (IJCCBS) or the International Journal of Discrete Event Control Systems (IJDECS).