Formalization and visualization of domain-specific software architectures Paul D. Bailor, David R. Luginbuhl, John S Robinson