Oleksiy Kurganskyy, Igor Potapov: Reachability Problems for PAMs. SOFSEM 2016: 356-368