An editor tool for System requirements specified as EARS templates