A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations