Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation