Probabilistic System Summaries for Behavior Architecting