20-years-latest.pdf
  Twenty years of rewriting logic. 
  José Meseguer
  J. Log. Algebr. Program.
  81(7-8): 721-781 (2012)
 
  A long paper!  But a good reference and has a nice table of contents 
  for selective reading.
  It contains the foundations of rewriting logic -- you stop after the basics
  It also surveys related tools and many applications.


lluch-meseguer-vandin-icfem12.pdf
  State Space c-Reductions of Concurrent Systems in Rewriting Logic
  Alberto Lluch Lafuente, Jose Meseguer, and Andrea Vandin
  T. Aoki and K. Tagushi (Eds.): ICFEM 2012, LNCS 7635, pp. 430–446, 2012.

  Describes methods to define property preserving equivalence classes
  and treats the special case of equivalence classes defined by
  group action on states.


meseguer-facs-scp.pdf
  Taming distributed system complexity through formal patterns
  José Meseguer
  Science of Computer Programming 83 (2014) 3–34

  Introduces the notion of formal patterns as theory transformations
  that can be used to construct systems satisfying desired formal guarantees.
  Gives a number of examples including patterns that deal with timing guarantees.
  Maybe gadgets can be viewed as a kind of formal pattern?

1-s2.0-S2352220816301195-main-jm-cr-rewmodulosmt.pdf
  Camilo Rocha, José Meseguer, César A. Muñoz:
  Rewriting modulo SMT and open system analysis. 
  J. Log. Algebr. Meth. Program. 86(1): 269-297 (2017)

  Introduces rewriting modulo SMT as a way to use constraint symbolic
  states to simplify analysis -- reducing the state space and
  representing parameters symbolically rather than as concrete values.