Global scheduler properties derived from local restrictions. - Thomas Arts; Juan José Sánchez Penas (Erlang Workshop, 2002)

VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. - Juan José Sánchez Penas; Thomas Arts (ACSD, 2003)

Extending the VoDKA architecture to improve resource modelling. - Juan José Sánchez Penas; Carlos Abalde Ramiro (Erlang Workshop, 2003)

Translating Erlang to µCRL. - Thomas Arts; Clara Benac Earle; Juan José Sánchez Penas (ACSD, 2004)

Model Checking a Video-on-Demand Server Using McErlang. - Lars-Åke Fredlund; Juan José Sánchez Penas (EUROCAST, 2007)