Experiments with the kronos control language