Schedulability Analysis for Distributed Systems Using Network of Action Automata and Environment Automata | IEEE Conference Publication | IEEE Xplore