@article{Sif11d,
title = {A vision for computer science - the system perspective },
author = {Sifakis, Joseph},
year = {2011},
journal = {Central Europ. J. Computer Science},
number = {1},
pages = {108-116},
volume = {1},
team = {DCS, RSD},
}
