RL: a Language for Formal Engineering | IEEE Conference Publication | IEEE Xplore