GSOS for non-deterministic processes with quantitative aspects