More details can be found in Muli Ben-Yehuda's thesis:

http://www.mulix.org/pubs/theses/nom-msc-2015-15.pdf