Slicing AADL Specifications for Model Checking. - Viet Yen Nguyen; Thomas Noll 001; Max Odenbrett (NASA Formal Methods, 2010)