RSF: A Formalism for Executable Requirement Specifications