A DESTECS Co-Sim implementation using the ProB constraint solver