DCCL: verification of component systems with ensembles. - Jiri Barnat; Nikola Benes; Ivana Cerná; Zuzana Petruchová (CBSE, 2013)