André Aranha

Learn More
We present a rewriting logic based technique for defining the formal executable semantics of a non-autonomous Petri net class, named Input-Output Place/Transition nets (IOPT nets), designed for model-based embedded system's development, according to the MDA initiative. For this purpose, we provide model-to-model transformations from ecore IOPT models to a(More)
Transdiaphragmatic intercostal hernia is uncommon and mostly related to blunt or penetrating trauma. We report three similar cases of cough-induced transdiaphragmatic intercostal hernia, highlighting the anatomic findings obtained with different imaging modalities (radiography, ultrasonography, CT, and magnetic resonance) in each of the cases.
  • 1