Implementing reactive models