This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the Unive...

This monograph presents the Timed Input Output Automaton (TIOA) modeling framework, a basic mathe...