Jacob Sparre Andersen wrote:

"I took a look at the table of contents for Dines Bjørner's "Software
Engineering: Abstraction and Modelling".  It looked much too
theoretical for my students.  I have no intention of teaching them the
complete theoretical foundations of RSL, which seems to be the aim
with Dines Bjørner's book.  Are there some more practically oriented
introductions to RSL?"

But he used to lecture RSL to students!

On Wed, 16 Aug 2006, Mark Lorenzen wrote:

"[..]

There is of course always the problem of tool support (or lack of)
when one wants to use RSL."

Check
WWW.IIST.UNU.edu/newrh/III/3/1/page.html
which is not the only source of an RSL tool.