name mode size
CBD_continuous 040000
CBD_discrete 040000
devs 040000
petri_nets 040000
requirement_checking 040000
statecharts 040000