Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky. A refinement-based development of a distributed signalling system. Formal Asp. Comput., 33(6):1009-1036, 2021. [doi]
Abstract is missing.